<script type="text/javascript" language="javascript">
function $(obj) {
	return document.getElementById(obj);
}
</script>